翻訳と辞書
Words near each other
・ twos complement
・ tx-0
・ txl
・ tymcom-x
・ tymnet
・ tymshare, inc.
・ type
・ type assignment
・ type class
・ type inference
type scheme
・ type-ahead
・ type-ahead search
・ typed lambda-calculus
・ typedprolog
・ typeface
・ typo
・ typo squatter
・ typographical error
・ typol


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

type scheme : FOLDOC
type scheme
A typing of an expression which may include {type variables}. E.g.
x . x :: a -> a

where a is a
generic type variable which may be instantiated to any type.
(1994-10-31)

generic type variable which may be instantiated to any type.
(1994-10-31)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.